The Computational Challenge of Enumerating High-Dimensional Rook Walks
نویسندگان
چکیده
We present guesses, based on intensive computer algebra calculations, for recurrence equations of the sequences enumerating rook walks in up to twelve dimensions ending on the main diagonal. Computer proofs can in principle be constructed for all of them. For the moment, however, these computations are feasible only for low dimensions. We pose it as a challenge to develop algorithms which can also certify the correctness of the equations we found for the higher dimensions.
منابع مشابه
ar X iv : h ep - l at / 9 21 10 62 v 1 2 7 N ov 1 99 2 Algebraic Techniques for Enumerating Self - Avoiding Walks on the Square Lattice
We describe a new algebraic technique for enumerating self-avoiding walks on the rectangular lattice. The computational complexity of enumerating walks of N steps is of order 3 N/4 times a polynomial in N , and so the approach is greatly superior to direct counting techniques. We have enumerated walks of up to 39 steps. As a consequence, we are able to accurately estimate the critical point, cr...
متن کاملThe Inverse Rook Problem on Ferrers Boards
Rook polynomials have been studied extensively since 1946, principally as a method for enumerating restricted permutations. However, they have also been shown to have many fruitful connections with other areas of mathematics, including graph theory, hypergeometric series, and algebraic geometry. It is known that the rook polynomial of any board can be computed recursively. [19, 18] The naturall...
متن کاملMöbius Functions and Semigroup Representation Theory Ii: Character Formulas and Multiplicities
We generalize the character formulas for multiplicities of irreducible constituents from group theory to semigroup theory using Rota’s theory of Möbius inversion. The technique works for a large class of semigroups including: inverse semigroups, semigroups with commuting idempotents, idempotent semigroups and semigroups with basic algebras. Using these tools we are able to give a complete descr...
متن کاملA High Order Approximation of the Two Dimensional Acoustic Wave Equation with Discontinuous Coefficients
This paper concerns with the modeling and construction of a fifth order method for two dimensional acoustic wave equation in heterogenous media. The method is based on a standard discretization of the problem on smooth regions and a nonstandard method for nonsmooth regions. The construction of the nonstandard method is based on the special treatment of the interface using suitable jump conditio...
متن کاملA METAHEURISTIC-BASED ARTIFICIAL NEURAL NETWORK FOR PLASTIC LIMIT ANALYSIS OF FRAMES
Despite the advantages of the plastic limit analysis of structures, this robust method suffers from some drawbacks such as intense computational cost. Through two recent decades, metaheuristic algorithms have improved the performance of plastic limit analysis, especially in structural problems. Additionally, graph theoretical algorithms have decreased the computational time of the process impre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010